However, Pinnock and the free-will theists reject all these ‘solutions’ because they are seen to compromise the basic definition of libertarian free-will which states that the agent not only has the ability to choose, but has the ability to choose otherwise. The details behind their rejection of the Arminian solutions can only be briefly summarised. The rejection of the ‘timeless eternity’ solution is part of a wider free-will theistic argument which states that a timeless God necessarily leads to